$\vdash$  $\forall$$P$, $Q$:$\mathbb{P}$. SqStable($P$) $\Rightarrow$ SqStable($Q$) $\Rightarrow$ SqStable($P$ \& $Q$)